L’apprentissage connecté des jeunes en contexte d’éducation formelle francophone

Cohérence et qualité des informations de contexte en environnement pervasif

Context management in pervasive environments becomes a key element for the development of new applications. However, the intrinsic properties of pervasive systems impact the consistency of context information. The composition of distributed observations collected from different sources may cause the introduction of potential inconsistencies. Besides, context information is highly dynamic and ev...

Nevraxite enzootique des jeunes Chevreaux

Adaptation dynamique des services en fonction d'un contexte utilisateur en adoptant une approche intentionnelle

L’orientation service représente une alternative viable pour le développement d’applications logicielles flexibles. La description d’un service est de nature fonctionnelle faisant référence à des fonctions de base incompréhensibles aux gens du métier, sans mentionner comment ces dernières peuvent répondre aux exigences de l’utilisateur. Le problème qui se pose est la mise en correspondance entr...

Généralisation des opérateurs de dérivation de Galois en recherche d'information basée sur l'analyse formelle de concepts

RÉSUMÉ. La recherche d’information basée sur l’analyse formelle de concepts repose généralement sur l’utilisation de la structure de treillis des concepts formels. Les noeuds de ce treillis (i.e. les concepts formels) peuvent être interprétés comme des paires 〈réponse,requête〉. A ce jour, la quasi-majorité des travaux existant en ce sens utilisent l’opérateur de dérivation de Galois classique (...

Vérification Formelle des Processus Workflow Collaboratifs

In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In particular, we propose to verify soundness properties of these processes using SPIN model checker. First we translate the adopted specification of workflows (i.e. the WF-net) to Promela which is the description language of models to be verified by SPIN. Then we express t...